MAQAO: Modular Assembler Quality Analyzer and Optimizer for Itanium 2
نویسندگان
چکیده
Code Representation IA64 Assembly Parser Front End IA64 Assembly Parser Back End .s instrumented code .s
منابع مشابه
Computing-Kernels Performance Prediction Using data flow Analysis and Microbenchmarking
On modern multi-core processors, the growing gap between memory size, bandwidth and latency compared to computing capability makes the memory hierarchy predominant for performance. The Microkernel-Description-Language based Performance Evaluation Framework, MDL-PEF, accurately predicts optimized inner-loops performance depending on the loop’s data access. The MDL-PEF approach revolves around a ...
متن کاملOptimizing and Reverse Engineering Itanium Binaries
EPIC (Explicitly Parallel Instruction Computing) architectures, such as the Intel IA-64 (Itanium), address common bottlenecks in modern architectures by supporting novel features such as explicit instruction-level parallelism, predicated instructions, and control and data speculation. While these features promise to make code more efficient, the fact that these new architectural features are vi...
متن کاملThe StarJIT Compiler: A Dynamic Compiler for Managed Runtime Environments
Dynamic compilers (or Just-in-Time [JIT] compilers) are a key component of managed runtime environments. This paper describes the design and implementation of the StarJIT compiler, a dynamic compiler for Java Virtual Machines and Common Language Runtime platforms. The goal of the StarJIT compiler is to build an infrastructure to research the influence of managed runtime environments on Intel ar...
متن کاملVx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against function contracts, which are expressed in terms of pre-, post-, and frame conditions using first-order predicates. Vx86 takes the annotated assembler code, translates it into C code simulating the processor, and then uses an exist...
متن کاملDevelopment of Quality of Classroom Life Questionnaire in L2 Contexts: Investigating the Impact of Modular Instruction
Quality of Classroom Life is considered as a serious issue in academia around the world, and it has recently received global inquiry in EFL and ESL contexts. However, no questionnaire has been developed to assess the Iranian students’ and teachers’ attitudes towards the quality of life in the classroom. After developing a conceptual framework, the final draft of the developed questionnaire with...
متن کامل